大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Nobel Symposium 的图书(共2391本)

FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

0
索取号：
作者：Cuellar、 Jorge.、Maibaum、 Tom.、Sere、 Kaisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings

0
索取号：
作者：Nanya、 Takashi.、Maruyama、 Fumihiro.、Pataricza、 Andr谩s.、Malek、 Miroslaw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings

0
索取号：
作者：An、 Aijun.、Matwin、 Stan.、Ra艣、 Zbigniew W.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

0
索取号：
作者：Guo、 Minyi.、Yang、 Laurence T.、Martino、 Beniamino.、Zima、 Hans P.、Dongarra、 Jack.、Tang、 Feilong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

0
索取号：
作者：Maglaveras、 Nicos.、Chouvarda、 Ioanna.、Koutkias、 Vassilis.、Brause、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

0
索取号：
作者：Datta、 Ajoy K.、Gradinariu、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms and Computation [electronic resource] : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings

0
索取号：
作者：Asano、 Tetsuo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Chinese Spoken Language Processing [electronic resource] : 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings

0
索取号：
作者：Huo、 Qiang.、Ma、 Bin.、Chng、 Eng-Siong.、Li、 Haizhou.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Controlled Nanoscale Motion [electronic resource] : Nobel Symposium 131

0
索取号：
作者：Linke、 Heiner.、M氓nsson、 Alf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Web and Wireless Geographical Information Systems [electronic resource] : 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006. Proceedings

0
索取号：
作者：Carswell、 James D.、Tezuka、 Taro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dynamic Planet [electronic resource] : Monitoring and Understanding a Dynamic Planet with Geodetic and Oceanographic Tools IAG Symposium Cairns, Australia 22鈥ⶠAugust, 2005

0
索取号：
作者：Tregoning、 Paul.、Rizos、 Chris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

International Humanitarian Law Facing New Challenges [electronic resource] : Symposium in Honour of KNUT IPSEN

0
索取号：
作者：Heinegg、 Wolff Heintschel.、Epping、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

0
索取号：
作者：Kobayashi、 Naoki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Remagnino、 Paolo.、Nefian、 Ara.、Meenakshisundaram、 Gopi.、Pascucci、 Valerio.、Zara、 Jiri.、Molineros、 Jose.、Theisel、 Holger.、Malzbender、 Tom.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Remagnino、 Paolo.、Nefian、 Ara.、Meenakshisundaram、 Gopi.、Pascucci、 Valerio.、Zara、 Jiri.、Molineros、 Jose.、Theisel、 Holger.、Malzbender、 Tom.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.